Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
BEEPTOOLKIT - IDE Soft Logic Controller
dev.to·1h·
Discuss: DEV
🔧Assembly DSLs
What is Algebraic about Algebraic Effects?
interjectedfuture.com·54m
💫Effect Systems
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·4h
🔧Error Recovery
SOLID Principles for Python Developers
dev.to·2h·
Discuss: DEV
🎭Racket Modules
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·12h
⏭️Skip Lists
The pirate-based logic of Rust shared references
ais523.me.uk·22h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🎯Pattern Matching
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
beginner seeking help to understand HTTP requests in C
reddit.com·4h·
Discuss: r/C_Programming
🌉Language Bindings
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·3h·
Discuss: Hacker News
🏛️Elm Architecture
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·16h·
Discuss: DEV
🌊Dataflow Languages
Random Questions in Java:
dev.to·22h·
Discuss: DEV
🔗Concurrency Primitives
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
⚡Zig
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps